A Tool for Checking Conformance of UML Specification
نویسندگان
چکیده
Unified Modeling Language (UML) is a standard language for modeling of a system. UML is used to visually specify the structure and behavior of a system. The system requirements are captured and then converted into UML specification. UML specification uses a set of rules and notations, and diagrams to specify the system requirements. In this paper, we present a tool for developing the UML specification. The tool will ease the use of the notations and diagrams for UML specification as well as increase the understanding and familiarity of the UML specification. The tool will also be able to check the conformance of the diagrams against each other for basic compliance of UML specification. Keywords—Software Engineering, Unified Modeling Language (UML), UML Specification.
منابع مشابه
Precise and Formal Metamodeling with the Business Object Notation and PVS
A modeling language consists of both a notation and a metamodel, the latter of which captures the syntactic wellformedness constraints that all valid models must obey. We present two versions of a metamodel for an industrialstrength object-oriented modeling language, BON. The first version of the metamodel, written in BON itself, is intended to give a precise and understandable description of t...
متن کاملConformance Testing based on UML State Machines: Automated Test Case Generation, Execution and Evaluation
In this paper we describe a comprehensive approach for conformance testing of embedded reactive systems. Based on a formal specification, namely UML state machines, we automatically generate test cases and use them to check the functional conformance of a system under test. Our test cases include not only stimuli to trigger the system under test, they also include possible correct observations ...
متن کاملTest Case Generation from UML State Machines∗
In this paper we describe a comprehensive approach for conformance testing of embedded reactive systems. Based on a formal specification, namely UML state machines, we automatically generate test cases and use them to check the functional conformance of a system under test. Our test cases include not only stimuli to trigger the system under test, they also include possible correct observations ...
متن کاملUsing UML Protocol State Machines in Conformance Testing of Components
In previous works we designed a comprehensive approach for conformance testing based on UML behavioral state machines. In this paper we propose two extensions to this approach. First, we apply our approach in the context of a component-based development, and address the problem of checking the interoperability of two connected components. Second, we address the problem of selecting relevant inp...
متن کاملA Symbolic Framework for the Conformance Checking of Value-Passing Choreographies
Choreographies, thanks to their abstract and global perspective, are well-suited to the specification of distributed systems such as service compositions and collaborative business processes. Choreography conformance checking aims at verifying whether a set of distributed peers or local role specifications match a global specification. This activity is central in both top-down and bottom-up dev...
متن کامل